1. Answer set solving in practice /
پدیدآورنده : Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
رده :
QA76
.
615
.
A58
2013eb
2. ECAI 2014
پدیدآورنده : \ Edited by Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence -- Congresses. ,هوش مصنوعی-- کنگره‌ها
رده :
E-Book
,
3. ECAI 2014 :
پدیدآورنده : edited by Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
4. Inconsistency tolerance
پدیدآورنده : Leopoldo Bertossi, Anthony Hunter, Torsten Schaub )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Tolerance )Engineering(,، Computer logic
رده :
QA
76
.
L28
Vol
.
3300
5. Logic programming and nonmonotonic reasoning
پدیدآورنده : Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
2009eb
6. The automation of reasoning with incomplete information : from semantic foundations to efficient computation
پدیدآورنده : Schaub, Torsten
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1409
7. Wissensrepräsentation und Inferenz :
پدیدآورنده : Wolfgang Bibel zusammen mit Steffen Hölldobler und Torsten Schaub.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Kognitionswissenschaft.,Künstliche Intelligenz.,Wissensrepräsentation.
رده :
BC199
.
I47
W654
1993
